$PROVE arriba y abajo