(x+2K,k)=(x,k)+2E(k).