theorem Thm11: :: EUCLID10:17
sin (PI / 6) = 1 / 2