Definition of Prox