[ Nummer ] - [ Nummer ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ schreiben: y, halt.
5