Доведення тотожності