theorem Th11: :: NIVEN:14

cos ((4 * PI) / 3) = - (1 / 2)