theorem Th11: :: INTEGRA8:11

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