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