theorem Th13: :: NIVEN:16

cos ((5 * PI) / 3) = 1 / 2