( 930, #37) Verify the identity , where .

Solution:

by: nl