Hilbert–Serre theorem