Postulado de las tres posibles

Dados dos segmentos , debe verificarse una y sólo una de las tres posibilidades: