A couple of good induction proofs