Algebra ist ja so was wie Rechnen mit Buchstaben ...
Praemisse ist: Es gibt ein \(v\) und ein \(\lambda\ne0\) mit \(Av=\lambda v\). Gefolgert werden soll daraus: Die Gleichung \(Aw=v\) hat eine Lösung \(w\). Damit sind auch schon alle Buchstaben, die in der Rechnung vorkommen koennen, hingeschrieben.