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