
theorem
  for V being non empty RLSStruct, M,N being Subset of V,
    r being Real
  st M c= N holds r*M c= r*N by Lm6;
