theorem
  {} is Tolerance of {} by RELSET_1:12;
