https://123dok.net/document/qo5lxnnk-depth-first-search-and-strong-connectivity-in-coq.html