theorem Th39: :: NUMBER14:39

for h being Integer st h <> 0 holds
PrimeDivisors>3 h c= Seg |.h.|