 If it has been demonstrated that every path through \(T\) intersects a given set of nodes \(B\), then it can be demonstrated that every path through \(T\) has a node in common with a set of nodes \(B′\) that can be  well-ordered.[9]