theorem Th133:
 dom f = dom g & dom f c= A \/ B & f|B = g|B
  implies f,g equal_outside A
by RELAT_1:153,XBOOLE_1:43;
