Théorème du tavernier. Soit une ligne qui va d’un point O à un point D. En parallèle, tracez une ligne qui va d’un point O’ à un point D’. Conclusion CQFD  : « Ce qui opprime déprime ».