In the main idea section of the solution, it states " The theorem used here is that if one vertex can both reach and be reached by all others, then every vertex in this graph can reach all others."
Is it supposed to be iff not just if? If it is “if” then how would it suffice in the solution to dfs only at 0?