theorem Thm14: :: EUCLID10:22

sin ((2 * PI) / 3) = (sqrt 3) / 2