更改

YMZ：这里的性质最好都给个命名，分的清楚一些。另外在数学的表述上还不严谨，要严格地按照原文中对定理的描述来。

YMZ：这里的性质最好都给个命名，分的清楚一些。另外在数学的表述上还不严谨，要严格地按照原文中对定理的描述来。