>>131
有限の立体で任意の平面による切り口が円なんだから、その中に直径が最大となる切り口が存在すると思ったけど
考えてみると単調増加で直径がある値に漸近していくような切り方の列がとれるなんてこともあり得るのかな？分からん。

>>132
素因数が4n+1の形をしたものばかりであれば、その積も4n+1の形になるから。