5.6 普遍定理的综合应用