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