Preuve Mathématique du fonctionnement d'Emrys