How do you verify the identity #sintcsc(pi/2-t)=tant#?