ツタンカーメンの名前は、異端の王の息子なので削り取られてしまいました。