theorem :: GRAPH_3A:6

for p being Path of KoenigsbergBridges holds
( p is cyclic or not p is Eulerian )