theorem Th22: :: HELLY:22

for G being _Graph
for W1, W2 being Walk of G st W1 .first() = W2 .first() holds
len (maxPrefix (W1,W2)) is odd