Nested saturation: every point of $V_m$ has $u$ neighbours in $V_m$ of each colour other than $c(m+1)$

Initializing...

Nested saturation: every point of $V_m$ has $u$ neighbours in $V_m$ of each colour other than $c(m+1)$ · Prove2Me