AAHL 1.15.3 Proof by induction (divisibility) | RevisionDojo