theorem Th68: :: LEXBFS:68

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