theorem d3: :: GRAPH_3A:4

for v being Vertex of KoenigsbergBridges st v = 3 holds
Degree v = 3