Talk:Dixmier–Ng theorem