demonstrate theoretically
（理論的に証明する）
□