theorem Th16: :: INTEGRA8:16

arccos (- ((sqrt 2) / 2)) = (3 * PI) / 4