Hi lilymuka!

I'm reading your statement as: for any a,b in G we have e=aba^{3}b^{2}a.

Otherwise your problem makes no sense.

Now suppose G is not trivial.

Then there is at least some c in G, which is distinct from e.

What do you get if you fill in c for a and e for b?

How about other combinations?