「 成分が体Kの元であるn次正方行列全体の集合には零行列が含まれる」←数式にすると