Buenas noches,
Estamos intentando realizar la prueba del ejercicio 7.7 pero tenemos dudas sobre como encararla. Intentamos hacer inversión sobre las hipótesis de Execute, y también intentamos hacer inducción sobre los naturales n1 y n2 pero no estamos logrando demostrar lo que se pide. Tienen alguna sugerencia sobre como encarar la prueba?
Gracias y saludos!