A consistent system of equations has at least one solution.