Category:Uniqueness theorems