H-O定理及其他