theorem Th56: :: LEXBFS:56

for G being finite _Graph holds MCS:CSeq G is iterative