１９９６年，コンウェイとシュニーバーガーは正定値ｎ元２次形式（変数ｎの数は任意とする）が１から１５までのすべての整数を表せば，それがすべての正の整数を表すことを示した（１５の定理）．

　もっと限定していえば

　　１，２，３，５，６，７，１０，１４，１５

の９つの数を表現するならば，すべての正の整数を表現するという定理である．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　４変数２次形式では，たとえば，

　　２ｗ^2＋３ｘ^2＋４ｙ^2＋５ｚ^2

は１だけを表すことができない．

　　ｗ^2＋２ｘ^2＋５ｙ^2＋５ｚ^2

は１５だけを表すことができない．

　どんな自然数でも表すことができる４変数２次形式は，

　　ｘ^2＋ｙ^2＋ｚ^2＋ｗ^2からｘ^2＋２ｙ^2＋５ｚ^2＋１０ｗ^2まで

すべてＡｘ^2＋Ｂｙ^2＋Ｃｚ^2＋Ｄｗ^2の形をしていて，５４通りあることが知られている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　１５の定理は２９０定理のbest-possibleな解決であったが，この定理はルジャンドルの４平方和定理「何種類かの４変数２次形式，たとえば，

　　ｘ^2＋ｙ^2＋ｚ^2＋ｍｗ^2　　　（ｍ＝１，２，３，４，５，６，７）

はすべての正の整数を表現することができる」も内包していて，

　　１＝１^2，２＝１^2＋１^2，３＝１^2＋１^2＋１^2，５＝２^2＋１^2

　　６＝２^2＋１^2＋１^2，７＝２^2＋１^2＋１^2＋１^2，１０＝３^2＋１^2

　　１４＝３^2＋２^2＋１^2，１５＝３^2＋２^2＋１^2＋１^2

　（１，１，１，１），（１，１，１，２），（１，１，１，３）

　（１，１，１，４），（１，１，１，５），（１，１，１，６）

　（１，１，１，７）

はラマヌジャンのリストに収められている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝