theorem
  for A,B being Subset of V st A c= B holds Lin(A) c= Lin(B)
by MOD_3:10;
