9x2
Между прочим адептам коммутативности на заметку:

Возьмите в качестве примера аксиоматику Пеано (где никакой коммутативности кстати нет - там это доказывать надо) - сколько по вашему взрослых людей с высшим техническим это хотя бы знают (не говорю уж о "понимают")? Imho меньше 50%.

Ну или черчевские нумералы - это вообще между прочим у даже матстудентов "моментальный вынос мозга" как правило.

А теперь представьте себе что вы стали объяснять арифметику начиная с аксиоматики Пеано или лябмда-исчисления?