Es seien a ≥ b {\displaystyle {}a\geq b} natürliche Zahlen. Begründe, dass a − b {\displaystyle {}a-b} der b {\displaystyle {}b} -te Vorgänger von a {\displaystyle {}a} ist.
