This theorem computes the operator norm of an [orthogonal projection](/theorems/437). Nonzero orthogonal projections have norm one, while the projection onto the zero subspace has norm zero, showing that orthogonal projections never increase [Hilbert space](/page/Hilbert%20Space) norms.