regularization, uniqueness theorems