theorem Th9: :: NIVEN:12

sin ((11 * PI) / 6) = - (1 / 2)