"Il y a alors assertabilité garantie, c'est-à-dire qu'on a trouvé la solution au problème."
It is then possible to have a guaranteed assertion, that is to say that the solution to the problem has been found.