夏侯惇っていう人はいないことになってて
その穴は全部夏侯淵で埋めてた気がする