theorem :: NUMBER15:33

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