(a* b* )+a* =(a+b)*
using (a+b)*=(a * b)* a*
we can write (a * b)* a* + a*
which gives us ((a * b)* + epsilon)a*
which is equivalent to (a * b)* a* i.e (a+b)*