Монгол Бодлогын Сан

$|A|=n$ байв. $A$ олонлогт $2^{n-1}$ ялгаатай дэд олонлог өгсний аль ч гурав нь ерөнхий элементтэй байв. Тэгвэл энэ бүх дэд олонлогууд ерөнхий элементтэй гэж батал. ($|A|=n$ бол $A$-ийн бүх дэд олонлогийн тоо $2^n$ байдгийг бид хожим батлана.)