Perso, je commencerais plutôt par poser
avec
et
histoire d'avoir dés le départ
et y'a plus qu'à compter sur ces doigts pour voir quand est-ce que
vaut
et quand est-ce qu'il vaut
.
Eventuellement, on peut faire comme le préconise aviateur, à savoir écrire plutôt que
pour ne compter que des 0 et des 1 au lieu de q et de q+1, mais ça change pas bien grand chose à la démarche.