theorem Th68: :: LEXBFS:68

for G being finite _Graph holds MCS:CSeq G is eventually-constant