theorem Th37: :: IRRAT_1:37

for n being Nat holds (n !) * ((Partial_Sums eseq) . n) is integer