Let and be Rings
Let and , an Ideal of .
Then and and