TODO -- try creating github pages similar to site https://github.com/walkccc/CLRS from md file and katex math library.
Let G = (V,E) be Directed acyclic graph in which vertex exits V0 such that there exists unique path from V0 to all vertex. Prove that undirected version of G forms a tree