这个地方的》号变换那一步是怎么得出来的?有没有公式来说明成立或者有相关定理?