Démonstration par récurrence