Ist richtig. Nach der Definition der Teilbarkeit teilt eine Zahl a ≠ 0 eine Zahl b wenn es eine ganze Zahl t gibt mit b = a*t.
In dem Fall für a = 4 & b = 4^5^n wählst Du für alle n: t := 5^n. Dann ist ja t eine natürliche Zahl für alle n und damit auch eine ganze Zahl. Der zweite Summand erfüllt es ja nach Induktionsannahme.
Nur eine Anmerkung: Am Anfang hast Du geschrieben ,,ohne Rest‘‘. Das brauchst Du nicht. Wenn es einen Rest gäbe, könntest Du gar nicht von Teilbarkeit sprechen.