[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 $x_t$ 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.