theorem :: SYSREL:13

for x being object holds id {x} = {[x,x]}