When the method of antibody distilling and injecting used in Travelling Salesman Problem (TSP) were presented, the convergence of AIGA was proven theoretically.