もう少し別の形で体論使えばとっても簡単なんだけどね…
この証明でいいかは博士号持ちのコメント待とうかしら?