Demuestre la exactitud del bucle while del algoritmo 4.8.3 (en el ejercicio 24 del conjunto de ejercicios 4.8) con respecto a las siguientes pre y ...

Demuestre la exactitud del bucle while del algoritmo 4.8.3 (en el ejercicio 24 del conjunto de ejercicios 4.8) con respecto a las siguientes pre y post-condiciones: Pre-condición: A y B son números enteros positivos, a A y b B. Post-condición: Uno a o b es cero y el otro es distinto de cero. Cualquiera que sea distinto de cero es igual al mcd(A, B). Utilice el invariante del bucle I (n) “1) a y b son números enteros no negativos con mcd(a, b) mcd(A, B). 2) a lo más uno de a y b es igual a 0, 3) 0 a b A B ฀ n”.