Added an alternate proof that uses M.Induction also