Démonstration d'une propriété arithmétique récursive par récurrence binaire et prolongement quantique | Synapse