To avoid undue repetition in the statements of our theorems, we adopt the following convention.
The proof is essentially a repetition of the arguments used to prove......