theorem :: FIELD_13:27

for R being Ring holds R == R ;