cosas
Revert "cosas"

This reverts commit c623714d11583cf21688cce0717137a0a267a4e5.
Revert "predicado decrementar"

This reverts commit ede602c12a1f0e99c0b2e0ebcd359431ec1e7224.