Perso je ne comprend pas le theoreme, comment il se construit oui mais pas "on arrive necessairement a un n tel que g(n)=0"