多様体の基礎っていい?