Kosaraju's algorithm is based on an important property of output times:
Assume we have two SCC-s, and and an edge from some node in to some node in . Denote by the largest output time among all nodes in , and similiarly for .
What does this property assert?