theorem Th5: :: NIVEN:8

sin ((5 * PI) / 6) = 1 / 2