(K_(1,4);2)-图的3-闭包的一个性质

对(K1,4;2)-图这一新的图类,证明它的3-闭包的一个性质:设G为K1∨P4-free的(K1,4;2)-图,a≠b∈E(G),x为G中局部3-连通的适宜点,G′由G在x局部完备所得,则G′中存在最长(a,b)-路P满足|E(P)∩(E(G′)-E(G))|≤1。