Non, non, c'est très bien, c'est juste que vous avez écrit multiple de 3 au lieu de 13 dans le premier post. Pour 13, je suis d'accord.
Pour n=0, on trouve 13, qui est bien sûr un multiple de 13, donc l'initialisation est vérifiée.
Pour l'hérédité, on suppose que

alors

,
si vous calculez ensuite
+2}+3^{3(n+1)+1}+1)
en remplaçant 1 par

et que vous factorisez comme il faut, vous trouverez à nouveau un multiple de 13, ce qui prouvera l'hérédité et donc la propriété sera prouvée pour tout

.