theory - 文脈自由言語のポンピング補題

Question

言語 {a^2^n | n >= 0}

最初にいくつかの k が選択され、次に vx != イプシロンおよび #(vwx) <= k となるように z = uvwxy が選択されることは理解していますが、この言語が文脈自由ではないことを証明する i は考えられません。