, -−−ー-､.
　　　　　　　　　γ'　　　 　　 　　　`ｰ､　　　
　　　　　　　　 /::　　　　 　 　　　　　 ｀ヽ　　
　　　　　　　　/::::　　　　　　　　　　　　 ヽ　　
　　　　　　　 |::::::::　　 　　　　　 , -- 、　　ヽ　
　　　　,.---イ;;;ｰ､__　　　　　＜;;;;;;;;;;;;;`･､　.|　　
　　　　　￣`| ＼;;;;;;;;; ー- ､._　　`ｰ-､;;;;;ゝ ﾉ　　
　　　　　　,イ､_ ＼;;;;;;;;;;;;;;;;;;;;;;;;;;ー､._　　　 　）　　
　　　　　　ヾ　/｀`ー-- ､＿;;;;;;;;;;;;;;;;;;;;;;;;;ー､/　　　
　　　　／￣)イ:::　　　　　 ・=-`ｰ-,､;;;;;;;;;;;;;/　　　　
　　　_/　　/ |::::　　　　　　 　 　|　・=-;;;;>
ー-'　（ｰイ　ヽ:::　　　　　　　　/　　　./　
ヽ　　 ヽ /　　`､:　　　　　( _　_.) 　 ／　　＜　Kingの分まで位相群がんばりたいです。
　ヽ　　ヽ　　　　､　　　､　　 ;; 　 ／` ､
　　ヽ　　ヽ　　　 ヽ　 　 ~`〜'／　　　＼　　
　　　ヽ　　ヽ、　　＞､ ＿_'／　　　__　　ヽ　　
　　　　ヽ　　 /　 .|　.)／　　　 ／　 / 　 ヽ　　
　　　　　＼／ヽ ./　/　　 , ／　 ／　　　　｀　
　　　　　　　　　/　　`ｰ ''　　 ／　　　　　　/　
　　　　　　　　　|　　　　　　　 )　　　　　　 |
　　　　　　　 　 |　　　　　　　　）　　　　　　|