代数的基底だから、すべてのベクトルが基底の「有限和」で表されないといけない。