theorem Th40: :: NUMBER14:40

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 > 3