D'après la figure ci-dessus, on constate que :
Les angles ABC et ADE sont alternes internes.
Les droites (BC) et (ED) sont parallèles.
Si deux droites parallèles sont coupées par une sécante, alors elles forment des angles alternes-internes deux à deux de même mesure.
On en déduit donc que les angles ABC et ADE sont de la même mesure.