for f, g, h being Function st f c= h & g c= h & f misses g holds
dom f misses dom g