AS Pure: Proofs

4. Proofs by Exhaustion