AAHL 1.15.7 Proof by contradiction (root 2) | RevisionDojo