コンパクト,コンプリートからC∞になるのですか