が環になることを示した。