>>971
その拡張が正しいことの証明をうかがっているんですが