Soient
deux nombres réels. On calcule
qui est un multiple de
.
Soient
trois nombres réels. On calcule
qui est un multiple de
puisque nous avons montré à l'exercice
que
était un multiple de
.
Par récurrence sur
. Le cas
ayant été démontré en
, on va supposer vraie la propriété pour un certain naturel
et montrer qu'elle reste vraie pour le naturel
. Pour cela, soient
nombres réels. On calcule
qui est un multiple de
puisque par hypothèse de récurrence,
est un multiple de