>>14
前半の議論が分からない。PCで、2008じゃなく10の場合で試してみたら反例が
あったのだが(誤差が丸め込まれていて、実は反例ではないかもしれないが)。