for V being RealLinearSpace
for Ks being simplex-join-closed SimplicialComplex of V
for As, Bs being Subset of Ks st As is simplex-like & Bs is simplex-like & Int (@ As) meets conv (@ Bs) holds
As c= Bs