Seol mar théacs é seo: L'emergence d'un théorème logique :