On a (AR) // (CO) (CARO parallelo.)
Et (CO) // (IN) (CONI parallelo.)
Alors (AR) // (IN)
Car si deux droites sont parallèles à une même troisième, elles sont parallèles entre elles.
On a AR=CO (CARO parallelo.)
Et CO=IN (CONI parallelo.)
Alors AR=IN=CO
Dans le quadrilatère RAIN, on a
AR=IN (d.d)
Et (AR) // (IN) (d.d)
Alors RAIN est un parallélogramme comme ayant deux côtés opposés parallèles et égaux
