Universal Quantifier Ordering

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