が満たされるので、("m""n"("k"), "t")は対合つき多元環である。