theorem Th36: :: NUMBER14:36

for h, i being Integer st i in PrimeDivisors>3 h holds
i divides h