Mathematical Review of "A MUSIC-type algorithm for detecting internal corrosion from electrostatic boundary measurements" by Ammari, Habib et al