Use induction on the length of y. Condition 2. of the definition gives the base case, where y has length 1. If y has length n+1 then y=za, where z has length n. Use the inductive hypothesis to show that (you take it from there).

If you post a query at 5 a.m. (UK time), don't get ratty if I don't reply by 7 a.m.