axioma de paralelas, congruencia de ángulos externos