推论 5.5.

,则 .