theorem Th10: :: INTEGRA8:10

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