V.P42 — Compactness of tau^3

Compactness of tau^3: the fibered product tau^3 = tau^1 x_f T^2 is compact in the profinite topology; every continuous function on tau^3 is bounded, every sequence of tau-admissible configurations has a convergent subsequence, and all defect-tuple components are bounded.