Доказательство

Доказательство.

Доказательство.

Доказательство.

.

2) .

.

3) (ассоциативность).

Проведем методом математической индукции в І форме для натуральных чисел по .

База индукции :

.

Индуктивное предположение :

Покажем справедливость утверждения для :

(?)

.

4) (коммутативность).

Проведем методом математической индукции в І форме для натуральных чисел по .

База индукции :

.

Индуктивное предположение :

Покажем справедливость утверждения для :

(?)

.

5) (закон сокращения).