theorem Th7: :: INTEGRA8:7

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