マーゴラス＝レヴィンチンの定理

と関連している。