theorem :: RFUNCT_1:21

for f being complex-valued Function holds 1 (#) f = f