Admissibility of Existential Elimination Under the Eigenvariable Condition