For a prime , let be the set of all equivalence classes of the relation defined by:

.

Prove or disprove: is a field.

So I already showed that the set has addition and multiplication well-defined. The only thing I'm having trouble with is showing that for any there exists such that .

How would I go about showing that exactly?