(a*b*)* = (a + b)*
I always used this while solving questions. It seems correct also because when ever I pick a random string over {a, b} then I found that it can be generated from (a*b*)*. But I don't have any formal proof for this.
Someone, please proof this.