 Next, observe that every three-dimensional slice of a line-free set can have at most <math>c_0=00</math> points; thus when one partitions a 00-point line-free set into three such slices, it must divide either as 00+00+00, 00+00+00, or some permutation of these. 