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.