predicado decrementar