theorem Th35: :: LEXBFS:35

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