Je ne connais pas particulièrement ce théorème, as-tu une démarche de résolution d'un système simple qu'il suffirait d'adapter sur Maple ?