Added an alternate proof that uses M.Induction also
Merge pull request #808 from abhinavc/master

Added an alternate proof