AAHL 1.15.6 Proof by contradiction (intro) | RevisionDojo