Finite evaluation versus global functions

Consequently, if a fixed target lies outside a contact space of dimension $c<\infty$, some family of at most $c+1$ labels has a separator. This existence result supplies neither rational labels nor a constructive search on the locked domain.