Python Quelltext als Lösung in Runde 3

Ist die Angabe von Python Quelltext als Lösung in Runde 3 legitim. Mein Team hat z.B. Aufgabe 3.9 mit einem kurzen Python Skript gelöst.

Ein Python-Programm kann kein Beweis sein, warum es nicht noch mehr Lösungen geben kann. Natürlich könnt ihr damit Lösungen generieren und dann händisch nachrechnen, dass sie tatsächlich die Eigenschaft erfüllen. Aber euer Lösungsweg muss auch ohne die Ausführung des Programms vollständig und nachvollziehbar sein.