Formule d'inversion de Pascal/Démonstration par récurrence

Redémontrons par récurrence forte sur $n\in \mathbb{N}$ le théorème des deux chapitres précédents :

Comme au chapitre 1, il suffit de démontrer le sens direct car la réciproque s'en déduit.