using "easy" tactic
more induction proofs