For we have

Then is a Ring