交換と古戦で理論上は