マセマから可換環論出るよね?