Chronology | Current Month | Current Thread | Current Date |
[Year List] [Month List (current year)] | [Date Index] [Thread Index] | [Thread Prev] [Thread Next] | [Date Prev] [Date Next] |
|
| The proof that (S0 + 0) is equal to (0 + S0) is easy.
|
Am I allowed to use associativity for "+",
i.e. may I use (a+b)+c = a+(b+c) for any, (a,b,c)
And may I use
a+c=b+c => a=b