Regular factors in regular graphs

Abstract Let G be a k-regular, (k−1)-edge-connected graph with an even number of vertices, and let m be an integer such that1⩽m⩽k − 1. Then the graph obtained by removing any k − m edges of G, has an m-factor.