1973年,C.BerGe提出了关于正则图的一个猜想:4正则简单图都包含3正则子图[1]。文献[2]利用4正则图的邻接矩阵论证了这一结论;文献[3]、[4]就几种4正则简单图证明了这一猜想。本文受文献[2]的启发,在文献[3]、[4]的基础上对这一性质进行了另证。