Cópia de axioma de paralelas, congruencia de ángulos externos