[ Сан ] - [ Сан ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ яз: y, Тукта.
5