theorem :: NUMBER15:40

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