theorem
  for A being empty set holds A is a-based;
