hard induction proofs