z^2+1=(z+i)*(z-i)