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