[ Numer ] - [ Numer ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ pisać: y, zatrzymać.
5