https://5dok.org/document/q5m9gx47-solve-following-ones-characterize-bipartite-graphs-g-having.html