The general case was proved by Hilbert in 1909, using algebraic techniques which gave no explicit bounds.
Загальний випадок довів Гільберт в 1909, використавши алгебраїчні методи, які не дали певних меж.