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