theorem ElectionEmpty: :: BALLOT_1:10

for n, k being Nat
for A being object st k > 0 holds
Election (A,n,A,k) is empty