Định lý bất biến của miền xác định