[ Arv ] - [ Arv ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ kirjuta: y, lause.
5