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