Angenommen es gäbe n+1 Gleichungen, die zu
einem lösbaren System führen.
Dann könntest du diese überführen in das äquivalente System
mit zunächst mal den n Gleichungen
x1 = a1
x2=a2
.....
xn = an
und dann noch eine, die aber durch Kombination mit den anderen dann
zu 0=0 gemacht werden könnte. Ebenso würden alle ggf. noch anderen
vorhandenen Gleichungen zu 0=0 gemacht werden können, also
wäre das gesamte System lösbar. Widerspruch!