theorem Th7: :: INTEGRA8:7
sin (PI / 4) = (sqrt 2) / 2