完全圏
本はありません。