>>149
基底の延長定理