The identity is .
To take the left hand side expression for prove that right hand side expression.
(Apply formula: ) \ \
(Apply Pythagorean identity: )
(Apply distributive property)
is an identity.