>>336
検索をしてみて、少し専門的なページが多かったのですが
(a(n),b(n))の全体をP,�@の解の全体をQとおいて、
(1,0)は�@の解なのでA(1,0),A^2(1,0).....A^n(1,0)も�@の解
よってPはQに含まれるといえる。
まで出来たのですが、QはPに含まれる事の証明がまだ難しいです。