“…As in [20,22], from the pair of invertible half-space operators H 0 and H ∞ , we can define an element of the K-group K i (S 0,∞ ⊗ C(T n−2 )) or KO i (S 0,∞ ⊗ C(T n−2 ), τ S ⊗ τ c n−2 ), and I ♠ Gapless (H) is the image of this element through the boundary map ∂ qT of the long exact sequence of K-theory for C * -algebras or KOtheory for C * ,τ -algebras associated with the extension (7) or (24). Therefore, by Theorem 4.1 and Theorem 5.4, we obtain the following result.…”