Proposición I.27
Si una transversal a dos rectas forma ángulos alternos internos iguales entre sí, entonces las rectas son paralelas.