なるものが存在することを知っている.方程式()と()はについて解くことができる線型方程式系を表す.