>>143
実際のa_0とは別に、法5による周期性が成立するものとしてa_0を考えてよい、と宣言しておけば良いんじゃないか?