Chromatic subdivision of a simplicial complex

We prove that the protocol complex of the immediate snapshot read/write complex for n+ 1 processors is a simplicial subdivision of the input complex. Our proof is purely geometric, using the Schlegel diagram construction.