"ABC" sería menor que el ángulo "ACB" (por la proposición anterior), pero no lo es, luego el lado "AC"