"The multiplication table will not occur in this book, not even the theorem,2 \cdot 2 = 4,but I would recommend, as an exercise, that you define2 = 1 + 1, 4 = (((1 + 1) + 1) + 1)and then prove the theorem."