Khan Academy on a Stick
Demostración - equivalencia de ángulo correspondientes implica líneas paralelas
Prueba por contradicción que la equivalencia de un ángulo correspondiente implica líneas paralelas
If the above player doesn't work, you can try this direct link.