空でない閉集合がXのみであることが明らか

>>365,366
ポカーンAA略