套路:

证明唯一性:

假设有两个, 然后证这两个相等, 或矛盾