theorem Th20: :: BALLOT_1:21

for n, k being Nat
for A, B being object st A <> B holds
card (DominatedElection (A,n,B,k)) = card (DominatedElection (0,n,1,k))