theorem Th45: :: NUMBER15:45

for k, s being Nat st k < s holds
(Product (PrimeNumbersFS s)) / (primenumber k) is Nat