Show that form is an identity.
To take the expression
(Apply Pythagorean identity: )
(Apply formula: )
(Cancel common terms)
is an identity.