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