El predicado codice_1 dice que si codice_2 y codice_3 no son cero, codice_4 es un divisor común de codice_2 y codice_3 si está entre codice_7 y el menor entre codice_2 y codice_3 y divide a los dos en forma exacta.