[Enunciado] Seja v-w um arco do grafo. Queremos provar que w não é primo direito de v.
PROVA: Considere o momento em que começou a execução da encarnação dfsR(G,v) de dfsR(). Nesse momento, w já pode ter sido descoberto ou não.
Se w ainda não foi descoberto (ou seja, se pre[w] ≡ -1) então w será descendente de v em F no fim da execução de dfsR(G,v). Portanto, w não será primo de v em F.
Se w já foi descoberto então pre[w] < pre[v]. Portanto, w é ancestral ou primo esquerdo de v, ou seja, não é primo direito de v.