Tahap 1: panduan 27 menjamin \(x-y\in H\text{.}\) Tahap 2: untuk \(a_k=x_k-y_k\) dan \(b_k=y_k-z_k\text{,}\) terapkan Cauchy–Schwarz berhingga pada \(\sum_{k=1}^{N}(a_k+b_k)^2\text{,}\) kemudian biarkan \(N\to\infty\text{.}\)