AS Pure: Proofs

6. Proofs by Counter Example