(0,mf-m+1)-图的正交(0,f)-因子分解

？设g是一个图,f是定义在v(g)上的整数值函数且对x∈v(g)有f(x)≥2k.设h1,h2,…,hk是g的k个顶点不相交的子图,且|e(hi)|=m,1≤i≤k.证明了每个(0,mf-m+1)-图g有一个(0,f)-因子分解正交于hi(i=1,2,…,k).