theorem Th14: :: BALLOT_1:15

for n, k being Nat
for A, B being object
for f being FinSequence st f is A,n,B,k -dominated-election holds
n > k