欧拉路径与欧拉回路：存在性充要条件及其证明