Помогите решить по теории языков

[Timur12]

Дан язык ${a^n b^n c^n m>n (или наоборот), m,n>0} $
Доказать, что это не КС язык
Есть еще подобные задачи, помогите решить. В долгу не останусь $ :)

[Joker_vD]

А кто такой $m$? Вроде бы для КС-языков тоже есть лемма о накачке, попробуйте ею воспользоваться.