Actually, I think I was wrong about that last bit. Since is a field, then every element must have an additive inverse, by the field axioms.

I'm new to this kind of math.

So I guess I could write:

Then I would just multiply both sides by 1 to obtain y=1, since 1=-1 in this field.