一意化定理 - Wikipedia