In this paper we show that separation from membership for well defined non empty polyhedra can be considered to lie in the folklore of mathematical programming.