In fact, the theorem implies that the topological dual of any inner product space can be identified with its completion.
Στην πραγματικότητα, το θεώρημα συνεπάγεται ότι o τοπολογικός διπλός κάθε εσωτερικού γινομένου μπορεί να ταυτιστεί με την ολοκλήρωσή του.