双刃兄说得不错

这与千北兄理解的一致：道是公理，而公里是不需要证明的。