Update MR55-ProofByInduction.tex