Definition:Hilbert 23/18b