>>97
前半はそりゃそうだろうなという感じだけど、
後半の証明は難しそう