「環論4」