Gdy w dwóch trójkątach boki są proporcjonalne, to trójkąty będą równokątne i kąty leżące naprzeciwko odpowiadających boków będą równe.
Niech ABC, DEF będą dwoma trójkątami mającymi boki proporcjonalne i z jednej strony jak AB do BC, tak DE do DF, z drugiej zaś jak BC do CA, tak EF do FD, i znowu, jak BA do AC, tak ED do DF. Twierdzę, że trójkąt ABC jest równokątny z trójkątem DEF i kąty leżące naprzeciwko odpowiadających boków będą równe, z jednej strony ten pod ABC temu pod DEF, z drugiej zaś ten pod BCA temu pod EFD i następnie ten pod BAC temu pod EDF.