Gdy dwa trójkąty mają jeden kąt równy jednemu kątowi, zaś boki wokół kątów równych 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, w których jeden kąt pod BAC jest równy jednemu kątowi pod EDF, zaś boki obejmujące równe kąty są proporcjonalne: jak BA do AC, tak ED do DF. Twierdzę, że trójkąt ABC jest równokątny z trójkątem DEF i będzie miał kąt pod ABC równy temu pod DEF, zaś ten pod ACB temu pod DFE.