Dixmier–Ng_theorem loading ...