Nuevo marco MechGeo en arXiv: Nuevo paradigma de formalización automática de geometría euclidiana y razonamiento GEO