theorem Th44: :: NUMBER14:44

for h being Integer st h <> 0 holds
rng (<*2,3*> ^ (Sgm (PrimeDivisors>3 h))) c= SetPrimes