Extending $(0,u)$, $u\equiv3$, by $t\equiv2 \pmod 4$ with one helper works iff $3t=2u$ · Prove2Me

P

Initializing...

Extending $(0,u)$, $u\equiv3$, by $t\equiv2 \pmod 4$ with one helper works iff $3t=2u$ · Prove2Me