>>464
m=n を認めていいのなら、修正した元の問題でもほぼ自明になる。

正方行列に対して、左右零因子の存在を聞く問題と
正方とは限らない行列に対する問題ではレベルが違うので
回答者が確認するのは自然だと思う。