Théorème de Desargues
 |
Lemma l13_2 : ∀ A B C D E, two_sides A B C D
-> Per B C A -> Per B D A -> Col C D E -> A E ⊥ C D
-> Conga B A C D A E /\ Conga B A D C A E /\ Bet C E D
-> Per B C A -> Per B D A -> Col C D E -> A E ⊥ C D
-> Conga B A C D A E /\ Conga B A D C A E /\ Bet C E D