6|a_n  って a_nが6で割り切れるって意味でいいんだっけ?