Véges sok körlap együtt $T$ területű részt fed le a síkon. Mutassuk meg, hogy a körlapok közül kiválaszthatunk néhányat, amelyek nem nyúlnak egymásba, és legalább $T/9$ területű részt fednek le.