theorem Th32: :: BASEL_2:32
Sum Basel-seq = (PI ^2) / 6