Completion boundary for Zhou's Theorem A.

theorem Connes.theoremA (hEJZK : HasKazhdanPropertyT PaperPropertyT.elementaryGroup) : ∃ (Γ₁ : CountableDiscreteGroup) (Γ₂ : CountableDiscreteGroup), HasKazhdanPropertyT Γ₁ ∧ HasKazhdanPropertyT Γ₂ ∧ IsICC Γ₁ ∧ IsICC Γ₂ ∧ TracialGroupFactorsIsomorphic Γ₁ Γ₂ ∧ ¬Nonempty (Γ₁.Carrier ≃* Γ₂.Carrier)

Zhou's Theorem A. The only external mathematical input is the cited EJZK property-(T) theorem for EL₃(𝔽₂[t]); every construction and all other paper arguments are proved in this project. Paper: §7.