theorem Th45: :: NUMBER14:45

for h being Integer st h <> 0 holds
<*2,3*> ^ (Sgm (PrimeDivisors>3 h)) is Chinese_Remainder