Definition of prox