theorem Th1: :: GRFUNC_1:1

for f being Function
for G being set st G c= f holds
G is Function ;