附录A4 5.2.4中命题5.2的数学推导过程