Date: Feb 5, 2013 12:44 PM
Author: Fernando Mancebo
Subject: Re: Proving a definition of multiplication (wrong) by induction

Sorry for my English, but?
Given,  ab = a added to itself b times
We can apply the commutative property of equalities and to say:
ab = a itself added b times to