theorem :: FUNCT_1:45

for X being set holds (id X) " = id X