Fix the above proof to show L is not regular.

This proof attempts to show that L = { 0 | 0 0, and Assumes is split as follows: x = 0p2, y = 01 and z = P. Clearly, this satisfies conditions 2 and 3. If we let i = 10, then xy10g = 0p-20101/2 0p+81p. Since p+8 pxul0 z L. This contradicts condition 1, therefore L is not regular