つまり、二次形式aｘ＾２＋２ｂｘｙ＋ｃｚ＾２から
二次形式a’ｘ＾２＋２ｂ’ｘｙ＋ｃ’ｚ＾２への２つの同種な変換より
不定方程式ｘ＾２−Ｄｙ＾２＝ｍ＾２の整数解を構成することができる。