sin(4x)=(4sin(x)cos(x))(1-2sin^2x) prove the identity

(1-2sin^2x)=cos(2x)
2sin(x)cos(x)=sin(2x)
===> (4sin(x)cos(x))(1-2sin^2x)=sin(4x)