1. digər adları sıxışdırma teoremi polis teoremi və s.
ilk dəfə olaraq riyaziyyatçılar arximed və eudoxous tərəfindən pi ədədini hesablamaq üçün istifadə olunub.
bir çox dildə iki polis(iki sərxoş) teoremi kimi də bilinir. hekayə belədir; iki polis aralarında sərxoş bir məhkumu aparırlarsa və hər iki məmur eyni kameraya gedirlərsə onda apardıqları sərxoş da həmin kameraya girməlidir