Proof. We may suppose that Y k is non-empty, and as mentioned after Proposition 5.1, we may assume, replacing A by A=I, where I X k , that A is a semisimple PI-Banach algebra of degree 2k. Let J be the ideal J PrimAnY k . Lemma 5.2 shows that ZA Ç J separates the points of Y k , which implies that there is a bijective correspondence between Y k and the