>>758はさみうちが成り立つのをわざわざ証明してから使うの?