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