Proof (contradiction, induction intro)