Démontrer que le double de la somme de deux nombres est égal à la somme des doubles de chacun de ces deux nombres.