Тотожності та їх доведення.