[ Число ] - [ Число ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ написать: y, стоп.
5