:: deftheorem defines KoenigsbergBridges GRAPH_3A:def 5 :
KoenigsbergBridges = MultiGraphStruct(# KVertices,KEdges,KSource,KTarget #);