How do you prove #1-[2sin^2 (4x)]#?