§ Integral elements of a ring form a ring [TODO ]