( 930, #37) Verify the identity
, where
.
Solution:
by: nl