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