Cartesian powers of cap sets
= Cartesian powers of cap sets
{c}
Every <Cartesian product> of <cap sets> is a <cap set>. In <characteristic> three, $x+y+z=0$ with any two equal forces all three equal. A zero-sum triple in a <Cartesian product> of <cap sets> is therefore diagonal in every coordinate block, hence diagonal overall.