#validación finita