Refuting the proof of a central point rather than the central point itself must be considered DH6 in Paul Graham's hierarchy. Roth probably took that for granted. I certainly would. Otherwise I hereby claim P = NP and preemptively accuse anyone not accepting this of deliberate dishonesty and bad spirit and categorise their disagreement as "formally possibly up to DH5 but effectively DH1 at most".