bool the carrier of T is basis of T by Th24;
hence not for b₁ being basis of T holds b₁ is empty ; :: thesis: verum