@ARTICLE{ANPROJ11.MIZ,
    TITLE = {Principle of Duality in Real Projective Plane: a Proof of the 
    Converse of {D}esargues' Theorem and a Proof of the Converse of {P}appus' Theorem 
     by Transport},
    AUTHOR = {Coghetto, Roland},
    ADDRESS1 = {Rue de la Brasserie 5\\7100 La Louvi\`ere, Belgium},
    DAY = {30},
    MONTH = {September},
    YEAR = {2021},
    SUMMARY = {In this article, we check with the Mizar system \cite{Mizar-State-2015},
  the converse of Desargues' theorem and the converse of Pappus' theorem and some 
   others properties of the real projective plane.
  The definitions entered in \cite{ANPROJ_2.ABS} are used.\par
  The methodology -- by transport -- introduced in "\cite{FINTOPO8.ABS}" is 
   used to demonstrate the theorems. The point and line definitions are aligned 
   as well as the "are_concurrent" and "are_collinear" definitions.}
    MSC2020 = {51A10,51N15,03B35,68V20},
    KEYWORDS = {Principle of Duality, Converse of Desargues Theorem, 
   Converse of Pappus Theorem, real projective plane, transport}
}

