text: Кроме того, если C(G) является базисом циклов для любого графа, то этот базис должен перекрывать некоторые рёбра в точности один раз, в противном случае их сумма будет равна нулю (что невозможно для базиса), а тогда C(G) может быть расширен одним циклом, состоящим из этих покрытых один раз рёбер, сохраняя свойство, что каждое ребро покрывается не более двух раз.