theorem Th38: :: LEXBFS:38

for G being _finite _Graph holds (LexBFS:CSeq G) ``1 is eventually-constant