Usando el lema de Zorn, se puede demostrar que "cada" espacio de Hilbert admite una base ortonormal; además, cualesquiera dos bases ortonormales del mismo espacio tienen el mismo cardinal.