The general case was proved by Hilbert in 1909, using algebraic techniques which gave no explicit bounds.
O caso xeral demostrouno Hilbert en 1909, utilizando técnicas alxébricas que non brindaron cotas explícitas.