Julius Petersen showed in 1891 that this necessary condition is also sufficient: any 2k-regular graph is 2-factorable.
Юлиус Петерсен показал в 1891, что это необходимое условие является также достаточным — любой 2k-регулярный граф является 2-факторизуемым.