theorem Th8: :: GRAPH_5:10

for p, q being FinSequence
for G being Graph st p ^ q is Chain of G holds
( p is Chain of G & q is Chain of G )