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