(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)
1=3+2(ab+bc+ca)
-2=2(ab+bc+ca)
-1=ab+bc+ca=(a+b)(1-a-b)+ab
(a+b)^2-(a+b)-1=ab