In a DAG ,to find a hamiltonian path ,first topologocal sorting is found out and then hamiltonian path is found from the topological sort.
Hamiltonian path in a DAG exists if and only if there is unique topological sorting.
How do we justify this statement?