Dass du Lösungen ür a = [2...9] findest bringt dir nichts zur Aufgabe selber.
Poste doch mal den gesamten Wortlaut der Aufgabe. Denn so,wie du sie jetzt gepostet hast, soll ja für jedes a größer 1 die Elemente erzeugt werden.
Dein vorgehen Funktioniert ja jeweils nur für die spezifischen Zahlen.
Ich kann dir leider nicht sagen,ob man beweisen kann, dass du keinen Term findest sodass du mit a=9 die 5 erzeugst. Ich sehe da grade keine Möglichkeit das zu beweisen.