for n, k being Nat
for A, B being object st A <> B holds
card (Election (A,n,B,k)) = (n + k) choose n