Sea \( H \) un espacio de Hilbert, y sean \( f_1, f_2,\ldots,f_n \) en el dual.Sea \( M \) un real positivo y \( c_1,c_2,\ldots,c_n \) números reales.
Son equivalentes:
1) existe \( x \) en \( H \), con norma \( M \) tal que \( f_j(x)=c_j \) para todos los \( j \)
2) \( \left|\displaystyle\sum_{j=1}^na_j\cdot c_j\right|\leq M\left\|\displaystyle\sum_{j=1}^na_jf_j\right\| \) para cualquesquiera \( a_j \)