How do you verify sin^2 - cos^2 = 2sin^2 theta - 1?