Existence of a Topological Ordering for Finite Directed Acyclic Graphs