Put (a) in the introduction, and explanations between theorems and lemmas. Then use proofs to achieve (b).
timur
- 3.3k
- 1
- 36
- 42