theorem Th8: :: INTEGRA8:8

sin (- (PI / 4)) = - ((sqrt 2) / 2)