これらの積集合formula_17に対して文脈自由言語の反復補題を用いることで、それが文脈自由言語でないことを示すことができる。