  We give a simple proof that some iterated derived subdivision of every PL
sphere is combinatorially equivalent to the boundary of a simplicial polytope,
thereby resolving a problem of Billera (personal communication).
