theorem Th134:
 dom f = dom g & B c= dom f & A misses B & f,g equal_outside A
  implies f|B = g|B
by RELAT_1:153,XBOOLE_1:86;
