How do you verify sin^2 theta cos ^2 theta = 1/8 [1-cos(4 theta)]?