Show that the two statements and where both quantifiers over the first variable in P(x. y)...

Show that the two statements and where both quantifiers over the first variable in P(x. y) have the same domain, and both quantifiers over the second variable in P(x, y) have the same domain, are logically equivalent