uniqueness theorem