Corollary 14.9.3.label Every subspace of a product of Hilbert spaces has the approximation property. Every subspace of a projective limit of Hilbert spaces has the approximation property.