k > 0 ;
hence Election (A,n,A,k) is empty by ElectionEmpty; :: thesis: verum