|
|
|
|
|
|
by jules
5931 days 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. |
|
|