A me sembra di sì. Ti faccio notare che anche se la scelta è tra un numero finito di vettori e lo sapessimo fin dall'inizio non potremmo concludere comunque nulla perché i vettori non sono ordinati in alcun modo, e dunque non possiamo scegliere facendo qualcosa tipo &quot;il minimo&quot; tra essi. Penso che per formalizzare la dimostrazione del teorema la funzione di scelta vada presa all'inizio, definita su tutti i vettori di norma 1, che è un insieme della stessa cardinalità di H: non si può sapere in anticipo quali saranno i sottoinsiemi finiti su cui ti serve! <!-- s:wink: --><img src="{SMILIES_PATH}/icon_wink.gif" alt=":wink:" title="Wink" /><!-- s:wink: -->