多様体MのC^r級座標近傍の集合で極大なものはなぜ取れるのですか?