AS Pure: Proofs

1. Proofs by Deduction