La lecture binaire de la solution générale

On note ‾b_m … b₀‾₂ la représentation binaire de n, et l'on élargit la notation aux familles de chiffres quelconques, non nécessairement égaux à 0 ou 1. Montre que f(‾1 b_{α−1} … b₀‾₂) = ‾γ β_{b_{α−1}} … β_{b₁} β_{b₀}‾₂. (Question IV.3 du devoir.)