How do you verify cosx-cosxsin^2x=cos^3x?