How do you verify #(sinA-cosA)^2=1-2sin^2AcotA#?