附录A5 5.2.5中命题5.3的数学推导过程