theorem Th33: :: WALLIS01:36

integral ((@ ((@ sin) |^ 1)),0,(PI / 2)) = 1