[ Lambar ] - [ Lambar ]

☞ x ≔ 9.
☞ y ≔ x - 4.
✎ rubuta: y, tsayawa.
5