theorem :: GLIB_016:67

for G being _finite _Graph
for k being Nat st k = card { w where w is Vertex of G : not w .degree() is even } holds
k is even