Se dois lados de um triângulo têm medidas diferentes, ao maior lado opõe-se o maior ângulo e ao menor lado, opõe-se o menor ângulo.

Seja D em BC tal que CD ≡ CA. Como |BC| > |AC| temos que D é interno a CAB, o que implica, pelo teorema do ângulo externo, que CAB >CAD.[br] Como △CAD é isósceles por construção, CAD≡ CDA, mas CDA é externo ao triângulo △ABD, logo[br]CDA >ABD = ABC. Logo, CAB > ABC.