rt。

蒟蒻看不懂 wiki 和题解，求问：

对于以 $u$ 为第一个访问到的节点的强连通分量，是否满足：

• 在 $u$ 子树里的任意节点 $v$，有 $\text{low}_v=\text{low}_u$？

请证明/解释这个命题和这个命题的逆命题。