theorem Th35: :: NUMBER14:35

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