数域性质证明