Une propriété de cours

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)
On peut déplacer les points.

Si les droites d1 et d2 sont parallèles à la droite d
alors les droites d1 et d2 sont parallèles.

Un énoncé :
Si deux droites sont parallèles à une même troisième,
alors ces deux droites sont parallèles.