Etablir par récurrence le résultat préliminaire :