theorem :: GRAPH_3A:3
for v being Vertex of KoenigsbergBridges st v = 2 holds
Degree v = 5