§ 5. Тотожні вирази. Тотожність. Тотожне перетворення виразу. Доведення тотожностей