Suppose that such a nontree edge is a cross edge, and argue based upon the order the DFS visits the end vertices of this edge.