https://123dok.net/document/ky6o975y-a-quadratic-lower-bound-for-colourful-simplicial-depth.html