Podobne wielokąty dzielą się na trójkąty podobne, w równej ilości i odpowiadające całościom, a wielokąt do wielokąta jest w podwojonym stosunku, w jakim (jest) odpowiadający bok do odpowiadającego boku.
Niech ABCDE, FGHKL będą podobnymi wielokątami, zaś AB będzie odpowiadający FG. Twierdzę, że wielokąty ABCDE, FGHKL dzielą się na trójkąty podobne, w równej ilości i odpowiadające całościom, a wielokąt ABCDE jest do wielokąta FGHKL w podwójnym stosunku, w jakim AB (jest) do FG.