AS Pure: Proofs

5. Proofs by Exhaustion: Examples