theorem Th7: :: NUMBER19:7

for k, m, n being Nat st 1 <= k & k <= m & m <= n holds
PrimeDivisors (Product (mid ((primesFinS n),k,m))) = rng (mid ((primesFinS n),k,m))