N∋n-a-> a[n]= n^5+n^4+10*n^3+23*n^2+13*n+296*13^(2*n-1)+46^(2*n-1) ∈Z は 或る d∈N で 割り切れることを 発想(キ) 世界の人がやりたがる 数學的帰納法による証明で; 発想(ゼ) ■a[n]を解に持つ 世の中でもっとも易しい 線型漸化式を 瞬時に 産み!■ 其れを…