Is it true that (1-cos^2x)=((1+cosx)(1-cosx)?