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