T537

eq1: x^(2) + y^(2) + (2 * (x * y)) - (4 * x) - (12 * y) + 20 = 0
eq2: x - y = 0
P: (1, 3)