theorem :: GRAPH_3A:5

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