sol 1+2+4
sol 1+2+4
tm-add
tm-add
tm-mul
tm-mul
pumping lemma + ex5