ejemplo justificación db-he 0