how do you verify cos3x=4cos^3x-cosx???