m,Nを正整数の定数とし、有限数列{a[n]}および{q[n]}を以下のように定義する。
・a[1]=m,a[n+1]=a[n]+q[n](1≦n≦N-1)
・数列{q[n]}は1,2,...,N-1,Nを並べ替えた列
とする。
このとき、以下の命題の真偽を述べよ。

【命題】
m,Nがどのような数であっても、任意のiに対しa[i]が平方数でないようにq[n]を構成できる。