theorem Th42: :: NUMBER14:42

for h being Integer st h <> 0 holds
for n being Nat st n in dom (Sgm (PrimeDivisors>3 h)) holds
(Sgm (PrimeDivisors>3 h)) . n is prime