R Hansen says: >It?s a ?consistency? proof. Students in algebra do not yet have sufficient background to justify these things deeply with formal analysis.
A classical way to demonstrate is to "assume" the distributive law must be upheld and show the usual sign law must follow. I remember reading such a proof by, I believe, Euler, and he did it in one very long, run on sentence. (Easily done with a picture though!)