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