a[a(a+b)+b]+b=1
a(a^2+ab+b)+b=1
a^3+a^2b+ab+b=1
a^3-1+b(a^2+a+1)=0
(a-1)(a^2+a+1)+b(a^2+a+1)=0
(a+b-1)(a^2+a+1)=0
a+b=1