theorem Th13: :: INTEGRA8:13

cos (PI / 4) = (sqrt 2) / 2