Frame Soft Shrinkage as Proximity Operator