How do you prove sin x(1- 2 cos ^2 x + cos ^4 x) = sin ^5 x?