ウォールマンのコンパクト化の構成.