add definition of proximal operator