Gukesh about Ding after winning, "Ding is the real world champion"