AS: Proofs

5. Proofs by Exhaustion: Examples