then non-zero integers x