Ahmethan ismi Kur'an-ı Kerim'de geçiyor mu?

Kur'an’da doğrudan Ahmethan ismi bulunmaz; ancak içinde geçen Ahmet (Muhammed) kökünden türetilmiştir.