theorem
  for i being object holds EmptyMS I.i = {};
