H-F定理例题