但是所有的定理感觉都没错呀......