>>384
結論を得られるように定理の仮定を置く