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