1 problem

Residual-variable conjecture. If $p$ is a residual $x_1$-variable, then $p$ is an $x_1$-variable, meaning