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