Qual é o produto de iodeto de potássio + nitrato de prata?

#KI(aq)+AgNO_3(aq) to KNO_3(aq) + AgI(s)#

Eles costumavam chamar esse tipo de reação de reação de dupla substituição. Se fosse uma reação aquosa, o iodeto de prata se formaria como precipitado.