无界区域唯一性定理不需要补充无穷远处的渐近行为。