Page "Hilbert dimension (ring theory)" not found :(