How do you verify #cos^3 * sin^2 x = (sin^2 x - sin^4 x)cos x#?