计算相图基础理论问题的证明

• The demonstration of basic theoretical problem for phase diagram calculation