theorem :: GRAPH_1:14

for G being Graph holds {} is Chain of G by Lm1;