:: deftheorem Def5 defines BCS SIMPLEX1:def 5 :
for V being RealLinearSpace
for Kv being non void SimplicialComplex of V st |.Kv.| c= [#] Kv holds
BCS Kv = subdivision ((center_of_mass V),Kv);