In this section, we prove the previously stated proposition regarding soft-thresholding and L1 regularization.
