set B = center_of_mass V;
for S being Simplex of Kv st not S is empty holds
(center_of_mass V) . S in conv (@ S) by RLAFFIN2:16;
hence subdivision ((center_of_mass V),Kv) is non void Subdivision of Kv by A1, Th15; :: thesis: verum