How do you prove sin4xcos4x=sin2xcos2x?