How do you prove cos^4theta-sin^4theta)=cos2theta?