S——Y证明方法的几点改进

本文证明了采用强用Universal_2函数族满足复合性质。同时,抛开构造算法Universal_2的步骤。直接证明结果—定理2。