Update MR055-ProofByInduction.tex