dom g c= dom f by XBOOLE_1:2;
hence g +* f = f by Th19; :: thesis: verum