theorem Th37: :: NUMBER14:37

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