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