Kürzungsregel 3.6 kann man sicherlich auch inhaltlich füllen,
ich rate mal
Für alle a,b,x aus dem Ring gilt
x ≠0 und ax = bx ⇒ a = b ??????
Dann wäre es wohl so
ax = bx
ax - bx = 0 wegen dist.
(a-b) * x = 0 da nur 0 ein Nullteiler ist also
a-b=0 oder x = 0
Da aber x ≠0 gilt a = b .