Hints on Proofs by Recursion Induction