a[n]=f(a[n-1],a[n-2],…,a[n-m])の形に表せるなら
必ず周期を持ってその長さはp^m以下