定理部分は不変なんだからそれ以外はラノベ調とかできるだろ