={a,b}, L = { s : s =a^m b^n, n > 0, m % n = 0 }.

You must start by defining w such that w L, and |w| k. Use the RL pumping theorem to prove that L RLs.

You must start by defining w such that w L, and |w| k. Remember that the only valid assumption about k is that k 1. Do not use literal values for y. Formulas for x and z are rarely useful; please do not use them in this proof.