Applies cases or induction on certain hypotheses.