How do you verify cos4xsin4x=cos2xsin2x?