Solo es correcto el programa en el caso de que el dividendo sea mayor o igual al divisor.

Si es menor, por
ejemplo 3/7 el programa le va a quitar un siete al tres 1 vez, siendo 0 veces el resultado correcto.

ACCION EJECUTADA

PRODUCTO<-Y
CUENTA<-1
CUENTA<X
entonces
PRODUCTO<PRODUCTO+Y
CUENTA<CUENTA+1

PRODUCTO

CUENTA

0
0
0

4
4
4

4
4
8

1
1

CUENTA<X
entonces
PRODUCTO<PRODUCTO+Y
CUENTA<CUENTA+1
CUENTA NO ES < X.
FIN

12

12

12

Solo es correcto para 0; caso contrario no funciona el algoritmo como queda demostrado en el cuadro de
verificacin.

Invariante de ciclo:

Ambos enunciados son verdaderos al llegar a la condicin de finalizacin. Se asignara tambin a suma el valor
de N.