theorem :: GRAPH_3A:3

for v being Vertex of KoenigsbergBridges st v = 2 holds
Degree v = 5