theorem Th38: :: NUMBER14:38

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