Ettõl nem lesz. Nem elég jók a mostaniak? Ettõl a tételtõl inkább egy gyorsabb fordítóprogramot várhatsz, de leginkább még azt sem, de miután a sejtés régóta ismert, lehetett használni gyakorlati problémákban eddig is. Majd esetleg száz év múlva lesz egy gyakorlati probléma, ahol ez a tétel hasznosnak fog bizonyulni.