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.