Prove the following identities in a Kleene algebra.

Question

a) (a + bb + ba(b + aa)* ab)* = (a + b(ab*a)* b)*

b) a* + a*b(ba*b +ab*a)* ba* = (a + b(ab*a)* b)*