El predicado codice_10 dice que codice_4 es el MCD de codice_2 y codice_3 si es un divisor común de codice_2 y codice_3 y no existe codice_16 que sea también divisor común de codice_2 y codice_3 y sea mayor que codice_4.