The language $L=\{W\in\{0,1\}^{*} | W=0^{x}1^{y}\; where \: x\geq0, y>0 \;are \;integers\; and\; y\nmid x\}$$L=\{W\in\{0,1\}^{*} \mid W=0^{x}1^{y} \text{ where } x\geq0, y>0 \text{ are integers and } y\nmid x\}$ is not regular.
How would one prove this using Pumping Lemma?
I thought about it for quite a while but couldn't quite figure it out. Lots of number theory is neccessarynecessary I'd imagine.