theorem
for i be set st i in dom G & f is_partial_differentiable_on X,i
  holds X is Subset of product G
by XBOOLE_1:1;
