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