, En utilisant la même technique de preuve que pour l'algorithme MatricePgcd