5.2 定理的推论