how to know if a system has no solution