怎样验证二元一次方程是否有解