subject: theory of computing

please help with #1

1. (9 points) {={a,b}, L = {s: s rambn, n > 0, m % n = 0). You can also think of this as n divides m evenly, or that m is an integer. For example, for example, ab' e L because 9 % 3 = 0, but a5b) L. Use the RL pumping theorem to prove that LRLs. You must start by defining w such that we L, and wl Sk. Remember that the only valid assumption about k is that k 2 1. Do not use literal values for y. Formulas for x and z are rarely useful; please do not use them in this proof