theorem Th36: :: GLIB_006:32

for G being _Graph
for W being Walk of G holds
( 1 = W .findFirstVertex W & W .findLastVertex W = len W )