このことは、Fが環準同型であることを示している.
、F