Consider a graph that does not contain cycles: Sort topologically its vertices: 2, 3, 5, 4, 6, 1. Тheorem. An acyclic graph always has a vertex without incoming edges. Proof. Assume the opposite, let an edge enters each vertex. For an arbitrary vertex x, …