Redirecting to Hilbert's theorem (differential geometry)