theorem Th12: :: NUMBER09:12

for p being Prime
for X being included_in_Seg set st X c= SetPrimes & p divides Product (Sgm X) holds
p in X