Raisonnons par récurrence.

Soit la relation .

est satisfaite d'après la question b.

Supposons et satisfaite, donc

d'où

puis .

Donc est satisfaite.

Ceci termine le raisonnement par récurrence.