
theorem
for R being Ring holds R == R;
