theorem :: RFUNCT_1:66

for C being non empty set
for c being Element of C holds (chi (C,C)) . c = 1 by Th61;