Función de verificación HMT