Démontrer que le double de la somme de deux nobres est egal a la somme des doubles de chacun des ces deux nombres