Re:>>381 部分空間になるかどうかを実際に確かめてみる.