El predicado predefinido codice_4 siempre es verdad.