ステイツの正しさが証明されたな(;´Д`)良かった