theorem Th33: :: NUMBER16:33

for n, m being Nat holds
( n < m iff Product (primesFinS n) < Product (primesFinS m) )