>>211
これが正しさの証明になるんだけど