
theorem
  for V being non empty RLSStruct holds [#]V is Affine & {}V is Affine;
