Existential Quantifier Ordering

For a function bound to two existential quantifiers, reversing the order of the quantifiers results in the same statement.