Consequence of the extended Lang–Vojta conjecture. There is a proper closed subset Δ⊊U\Delta\subsetneq UΔ⊊U such that:
