consider x being Element of C;
{x} in symplexes C by Th5;
hence not for b₁ being Element of symplexes C holds b₁ is empty ; :: thesis: verum