“…k,i •h −(j−1) ) ⊂ h j (U k,i ) and the fact that the sets h j (U k,i ), for (k, i, j) ∈ Q, are disjoint. Part (11) is now immediate. In (12), the matrix unit relations are easy once one has the orthogonality relations in (10), and that E k,i is a finite dimensional C*-algebra with identity p k,i is then immediate.…”