P
Initializing...
With one colour, validity reduces to $\ell$-sum-freeness of the whole set · Prove2Me