theorem Thm9: :: EUCLID10:15

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