定理「奇数の合成数は3の倍数以外には存在しない」
nが20以下の範囲を計算機で確認しました!
もっと大きいnでも成り立つと予想します!

って主張と本質的に変わらんな