https://9dok.net/document/yevromj4-contractible-edges-in-locally-finite-graphs.html