Create MR55-ProofByInduction.tex