Ejercicio de axiomas de intermediación y congruencia3...

De antemano muchas gracias por su apoyo en estos problemas sobre geometría no euclidiana!

Sean AB, CD y EF tres segmentos. Demuestre que si AB>CD y CD es congruente a EF entonces AB>EF.