How do you verify cos2usin2u=2cos2u1?