In order for a cycle to do this, it must have an equal number of edges from M and M′, and therefore be of even length.
Чтобы цикл мог так себя вести, он должен иметь равное число рёбер из M и M′, а потому чётную длину.