s:x+y=1->x^s+y^s=1