Réponse :
comment faire prouver que deux programmes A et B sont équivalents ?
tout d'abord il faut prouver en utilisant plusieurs nombres de départ choisi, les deux programmes donnent le même résultat
et aussi il faut prouver pour n'importe quel nombre choisi au départ les deux programmes donnent le même résultat
en prenant comme nombre de départ x, et il faut aboutir à une même expression en fonction de x
Explications étape par étape :