theorem Th10:
  A c= B implies Lin(A) is Subspace of Lin(B) by VECTSP_7:13;
