theorem d1: :: GRAPH_3A:2

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