じゃあ>>547の発展問題
素数pがp≡3(mod 4)を満たすとき
F(n)がpの倍数となるようなnは偶数であることを示せ