Pumping lemma for context-free languages - Am I doing it right?
Bascially your approach is correct. I have not checked every detail, but have a few remarks:


you miss the cases where v or y include a border like v=0011; here pumping destroys the general structure of the word besides the number relations.
case 1 would have to be done for the 0s and the 2s, too