a[k+1]=〜〜であり、いずれの場合でもa[k+1]は5の倍数ではない

↑
使ってんじゃん