[ Número ] - [ Número ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ escrever: y, punto.
5