theorem Th10: :: INTEGRA8:10
arcsin ((sqrt 2) / 2) = PI / 4