Paired endpoint neighbourhoods: $P_i$ has $u$ points, is closed under $x \mapsto 2m - x$ without fixed points, and its differences avoid two colours

Initializing...

Paired endpoint neighbourhoods: $P_i$ has $u$ points, is closed under $x \mapsto 2m - x$ without fixed points, and its differences avoid two colours · Prove2Me