Mit 81 macht die Fragestellung keinen Sinn.
Deshalb Annahme: 8Ιa⇔8Ιz2z1z0 ist zu lesen als
"8 teilt a genau dann, wenn 8 das Produkt von 3 Teilern von a teilt."
Das stimmt, weil 8 = 2^3 nur 3 von 1 verschiedene Teiler hat: 2,4,8.
Dazu braucht es allerdings eine Faktorzerlegung von a, d.h. der Anfang der Fragestellung müsste
a=zn...z1*z0 mit z∈⟨0, ... , 9⟩ sein.
Warum lässt ihr hier Nullen und Einsen zu? Soll das eine Zahl sein, die auf n+1 Ziffern besteht.
Dann besagt die Aussage
"8 teilt a genau dann, wenn 8 die letzten 3 Ziffern von a teilt."
1000 ist durch 8 teilbar.
1008, 1016… auch
5000, 6000, 144'000, 144'888 auch…
Man muss nur die letzten 3 Ziffern ansehen, wenn man wissen will, ob eine Zahl durch 8 teilbar ist.