Here is a more explicit statement of what the theorem asserts.
We now prove Theorem 4. [Not: “the Theorem 4”]
Go to List of words starting with: A B C D E F G H I J K L M N O P Q R S T U V W Y Z