燕尾定理的由来:道不同不相与谋到底是何意?