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