theorem Thm8: :: EUCLID10:14
cos (PI / 3) = 1 / 2