theorem Th32: :: WALLIS01:35

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