Ouah, la démonstration fait environ 3 mégaoctets et demi en PDF! Et franchement je n'y comprends rien. Aucune idée si la preuve est correcte, incorrecte ou carrément une blague de type "poisson d'avril". Il faudra attendre que les experts du domaines se plongent là-dessus, en espérant qu'ils y comprennent quelque chose.

EDIT: grammaire