公理定理，有理没理，爱理不理，一笑了之。。。