Propostion 2.3.5 (Multiplication is associative). /For any natural numbers \(a,b,c\), we ahve \((a \times b) \times c = a \times (b \times c)\).
\(Proof\) See Exercise 2.3.3.
Propostion 2.3.5 (Multiplication is associative). /For any natural numbers \(a,b,c\), we ahve \((a \times b) \times c = a \times (b \times c)\).
\(Proof\) See Exercise 2.3.3.
2.3.3. Prove Proposition 2.3.5 (Hint: modify the proof of Proposition of 2.2.5 and use the distribution law.)
Exercise 2.3.3. Prove proposition 2.3.5