Condición de existencia de triángulos.