[#] Ka = the carrier of V by SIMPLEX0:def 10;
then |.Ka.| c= [#] Ka ;
hence BCS Ka is affinely-independent by Th28; :: thesis: verum