The simplicial extension theorem