华师大版命题与定理7