E.707. Să se arate că, dacă ab‾ ⋮ (a+b)\overline{ab} ~~\vdots~ (a+b)ab ⋮ (a+b) atunci și ba‾ ⋮ (a+b),\overline{ba} ~~ \vdots ~ (a+b),ba ⋮ (a+b), oricare ar fi cifrele a,ba,ba,b nenule.