theorem
  for A,B being set holds field {}(A,B) = {} by RELAT_1:40;
