theorem Th7: :: NIVEN:10

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