Proposition: Charakterisierung eulerscher Digraphen

Ist ein gerichteter Graph, so gilt:

ist eulersch ist zusammenhängend und der eingehende und ausgehende Knotengrad eines jeden Knotens stimmt überein.