How do you prove sinx(12cos2x+cos4x)=sin5x?