theorem d0: :: GRAPH_3A:1

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