P

Initializing...

Singleton safety: $\{r\}$ is $\ell$-sum-free iff $(\ell-1)r \not\equiv 0$ · Prove2Me