How do you verify the identity (1+siny)(1+sin(-y))=cos^2y?