First, there should not be a closing parenthesis after because the rest of the formula uses x, so the scope of must extend to the end of the formula.

Suppose that and are true, where . If we instantiate x in by , then the rest of the formula requires that . In particular, for , we have , so it must be the case that .