3 ms·
To prove something about multiplication you first need to provide a definition of multiplication. So what is you definition of multiplication? The usual definit
by jules 17y ago
To prove something about multiplication you first need to provide a definition of multiplication. So what is you definition of multiplication? The usual definition is:
a*0 = 0
a*S(b) = a*b+a
Cancellation follows from injectivity of S by induction.