Probier mal für das Mehrfache von 3 den folgenden Ansatz per Fallunterscheidung:
Jede natürliche Zahl n läßt sich schreiben als: n = 3k oder n=3k+1 oder n=3k+2 mit geeignetem k ∈ ℕ0
Rechne nun n2 + 1 aus und prüfe jeweils, ob das Ergebnis ohne Rest durch 3 teilbar ist. Analog für 4.