使得formula_7都是方程的解，其中formula_8是两两相异的正整数，且formula_9）。
赫尔维茨方程.马尔可夫-赫维兹方程（），是指形式如formula_10的不定方程，其中formula_11是正整数。阿道夫·赫维兹证明了：方程有formula_12之外的解的必要条件之一是formula_13。