theorem Thm11: :: EUCLID10:17

sin (PI / 6) = 1 / 2