>>210
行同値の定義は?