No This is what I was responding to.
This is a standard technique to show a solution must be unique. P.S equality is an equvilence relation. Equivalence relation - Wikipedia, the free encyclopedia
This is going to sound repetitive, but the answer is the field axioms, along with more basic axioms, such as substitution. Every single question you asked is answered by the field axioms or some other axioms. Opalg already proved that the only possible solution is -4.
I am assuming that we're working over the field . The field axioms aren't always relevant (our coefficients might not be from a field), but for now it's a reasonable assumption.
No This is what I was responding to.
This is a standard technique to show a solution must be unique. P.S equality is an equvilence relation. Equivalence relation - Wikipedia, the free encyclopedia
Opalg proved that the solution is 4, not that it can't be anything else than 4, or have I missed something?Every single question you asked is answered by the field axioms or some other axioms. Opalg already proved that the only possible solution is -4.