theorem :: NUMBER15:39

{ n where n is Nat : card (divisors ((5 |^ n),4,1)) > card (divisors ((5 |^ n),4,3)) } is infinite