With $\varepsilon\equiv1$, every $t\notin\{0,1\}$ extends $(0,1)$ safely: $(0,1,t)$ for odd $t$, $(0,1,2t-1,t)$ for even $t$

Initializing...

With $\varepsilon\equiv1$, every $t\notin\{0,1\}$ extends $(0,1)$ safely: $(0,1,t)$ for odd $t$, $(0,1,2t-1,t)$ for even $t$ · Prove2Me