theorem Th14: :: INTEGRA8:14

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