Analoog aan mijn bewijs voor a=5 (zie post/re-een-rare-rij-van-regor-5#p1275746)

Maak ook nu een tabel met (a-1) kolommen.

Beschouw de rij voor alle natuurlijke getallen gevormd door de twee algoritmes.
1. Is het getal "n" NIET deelbaar door a ...... doe dan "n+(a-1)"
2. Is het getal "n" WEL " deelbaar door a...... doe dan "n/a"

Bewering :
Alle rijen vormen steeds lussen !
Voor n = (n+x(n-1)) komt de rij ook steeds in een lus waarvan de laatste 3 cijfers in de rij steeds 1/a/1 zijn.
x is een geheel getal van 0 tot oneindig.

Wie bewijst of ontkracht de bewering wiskundig ?
Lijkt mij éénvoudig, maar is dat zo ?