"y"が"aibj(0 ≤ i ≤ n,0 ≤ j ≤ n)"であるとすると、"y"を繰り返すと"a"と"b"が交互に出現することになり、"anbn"という"l"の定義に反することになる。