On a Proof of Roth''''s Theorem

We denote by M_(n,m)(F) the set of all n×m matrices over the field F and by M_n(F) the set of all n×n matrices over the field F. W. E. Roth has shown the following theorem in 1952, [1]. Theorem Let A∈M_n(F),B∈M_m(F) and C∈M_(n,m)(F), then the matrix equation AX-YB=C (1) has a solution X, Y∈M_(n,m)(F) if and only if the matrices