How do you verify the identity #sin(x-y)=(1-cotxtany)/(cscxsecy)#?