theorem :: NUMBER19:8

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