Les représentants chinois mirent en avant l'origine turque de la
toponymie à l'ouest du massif, comme preuve d'un usage régulier de la
région par des populations turques du Xinjiang.
Alors, la preuve du théorème précédent montre en fait qu'il
n'existe pas de suite d'arbres décisions de "profondeur pondérée"
polynomiale en n qui résout le problème SD.
Précisons qu'il ne s'agit pas d'une simple présomption de faute
(auquel cas il suffirait à l'employeur d'apporter la preuve, qu'il n'a
pas commis de faute) mais d'une présomption de
responsabilité.