theorem Th23: :: BALLOT_1:23

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