[see also: being
The theorem to be proved is the following. [= which will be proved]
We conclude with two simple lemmas to be used mainly in......
One can, for example, take A to be the rationals in X.
This assumption is certainly necessary if the distribution of xt is to converge to F.
If there are to be any nontrivial solutions x then any odd prime must satisfy......
However, as we are about to see, this complication is easily handled.