| Ipotesi: | $a \parallel b \parallel c \parallel d$ |
| $AB \cong CD$ | |
| Tesi: | $A'B' \cong C'D'$ |
| Ipotesi: | $AD \cong DC$ |
| $BE \cong EC$ | |
| Tesi: | $DE \parallel AB$ |
| $DE \cong \dfrac{1}{2}AB$ |
| Ipotesi: | $ABCD$ trapezio |
| $AE \cong EB$ | |
| $DF \cong FC$ | |
| Tesi: | $EF \parallel AD \parallel BC$ |
| $EF \cong \dfrac{1}{2}(AD + BC)$ |