Alles richtig. Nur hat es trotzdem nichts mit dem Thema zu tun. Den Threadersteller interessiert natürlich ausschließlich die originäre Zuteilung dieser Nummern, denn nur von diesem kann er auch eine solche Nummer neu bekommen.
Wenn eine Nummer portiert wurde, und dann irgendwann nicht mehr genutzt wird, geht sie zum originären Zuteilungsnehmer (Netzbetreiber) zurück, und dieser kann sie (nach einer Wartefrist) neu vergeben.