F(n)を3で割ったときの余りは0or1であることを示せばいいんじゃない?