for G being Graph
for sc being simple Chain of G st 2 < len sc holds
sc is Path of G