Take half of 4x + 2y as 2x + y and half of 12 as 6
to obtain 2x + y = 6.
Write y = x − 3 as x − y = 3.
From
2x + y = 6
1x − y = 3
3x + 0 = 9→ Add x-terms, y-terms, and constants to equate 3x to 9 or x to 3.
4x + 2y = 12 with x at 3 forces y to 0;
(3, 0) equal to (x, y) also verifies y = x − 3.