Théorème de Desargues
 |
∀ A B C A' B' C',
¬ Col A B C /\ A A' || B B'
A B |.| A' B'
A C |.| A' C'
B C |.| B' C'
=> C C' || A A' /\ C C' || B B'
A B |.| A' B'
A C |.| A' C'
B C |.| B' C'
=> C C' || A A' /\ C C' || B B'