Adott a síkon néhány kör, melyek egységnyi területet fednek le. (Többszörösen lefedett részt csak egyszer számítva.) Bizonyítsuk be, hogy közülük vagy kiválasztható néhány, páronként diszjunkt kör, melyek területének összege nem kisebb, mint $1/9$; vagy kiválasztható egy legalább $1/9$ területű kör.