for G1, G2 being _Graph
for W1 being Walk of G1
for W2 being Walk of G2 st W1 .vertexSeq() = W2 .vertexSeq() holds
( ( W1 is V5() implies not W2 is V5() ) & ( W1 is closed implies W2 is closed ) )