Odd $u$, odd target $t$: $(0,u,t)$ is $\varepsilon$-safe when $\varepsilon_0=1$ and $\varepsilon$ differs from $u$ at digit $\nu_2(t-u)$

Initializing...

Odd $u$, odd target $t$: $(0,u,t)$ is $\varepsilon$-safe when $\varepsilon_0=1$ and $\varepsilon$ differs from $u$ at digit $\nu_2(t-u)$ · Prove2Me