>>875
a_3=17 はどうやって出したのだ?