theorem Thm8: :: EUCLID10:14

cos (PI / 3) = 1 / 2