>>192
行同値の定義は?