theorem Th50: :: LEXBFS:50

for G being _finite _Graph holds (((LexBFS:CSeq G) .Result()) `1) " is VertexScheme of G