AS Pure: Proofs

9. Proofs by Counter Example: Ex's 3