Cho hệ phương trình: x - my = 1; mx + y = 3 (với m là tham số). Chứng minh rằng hệ phương trình đã cho luôn có nghiệm với mọi giá trị m. Giả sử (x0; y0) là nghiệm của hệ. Chứng minh: x0^2 + y0^2 - x0 - 3y0 = 0