Put (a) in the introduction, and explanations between theorems and lemmas. Then use proofs to achieve (b).