Nếu một hệ phương trình bậc nhất hai ẩn có hai nghiệm phân biệt

⇒ Hệ đó có vô số nghiệm.

Vì hệ có hai nghiệm phân biệt nghĩa là hai đường thẳng biểu diễn tập nghiệm của hai phương trình của hệ có hai điểm chung phân biệt, suy ra chúng trùng nhau.