Dado un segmento ab y un triángulo arbitrario no equilátero jkm, construyamos sobre ab triángulos pab, bqa y abr semejantes a jkm. Entonces pqr es semejante a jkm.

Lester, J. (1.996): Triangles I: Shapes. Aequationes Mathematicae, Vol 52, pp. 30-54.