H-O理论及两个推论一个例子