theorem Th3: :: NUMBER19:3

for k, m, n being Nat
for p being Prime st 1 <= k & k <= m & m <= n holds
( p divides Product (mid ((primesFinS n),k,m)) iff ( k <= 1 + (primeindex p) & 1 + (primeindex p) <= m ) )