Réécriture de la preuve que la somme est interne