generated at
graph theory:handshaking lemma