theorem Th38: :: NUMBER15:38

for n being Nat holds divisors ((5 |^ n),4,3) = {}