Finally we prove the theorem for sentences of that form.

This coordinate system can be used to prove the theorem directly.

In the summer of 1986, Wiles decided to prove the theorem.

There were several early failed attempts at proving the theorem.

The glory of being the person to have proved the theorem was too overwhelming to give up without a fight.

First we prove the theorem for the 2-colour case, by induction on r + s.

We will show that this leads to contradiction and thus prove the theorem.

There is more than one way to prove Wolstenholme's theorem.

One can also use l'Hôpital's rule to prove the following theorem.

This is used as a step in proving the π-λ theorem.