Ax = b ist lösbar
==> Ax = Eb ist lösbar (E = Einheitsmatrix)
==> Ax - Eb = 0 ist lösbar
==> AT *( Ax - Eb ) = AT 0 ist lösbar
==> AT *( Ax - Eb ) = 0 ist lösbar
==> AT Ax - AT Eb = 0 ist lösbar
==> AT Ax - AT b = 0 ist lösbar
==> AT Ax = AT b ist lösbar