Cependant, nous allons voir que M1 est compact ; il suffit alors d’extraire de Q3 une sous-suite convergeant vers O, élément de T5 et, posant P4, on aura K7, où S est symétrique positive
Tuy nhiên, chúng ta sẽ thấy rằng M1 nhỏ gọn; sau đó chỉ cần giải nén Q3 subsequence hội tụ để O, yếu tố của T5 và đặt ra P4, K7 có, mà là dương tính đối xứng
Tuy nhiên, chúng ta sẽ thấy rằng M1 là nhỏ gọn; nó là đủ để trích xuất Q3 một dãy hội tụ để O, nguyên tố T5 và đặt P4, sẽ có K7, trong đó S là đối xứng tích cực