theorem Thm12: :: EUCLID10:18

cos (PI / 6) = (sqrt 3) / 2