一価性定理