נתון דקדוק L חסר הקשר (Context Free Grammar). נסמן את הדקדוק המתקבל מהמרת L לצורה חומסקיאנית נורמלית ( Chomsky Normal Form ) ב- T' טענה: הדקדוק T' המתקבל מההמרה לעיל אינו דקדוק חסר הקשר