Talk:Prox operator