Ideal_of_Unit_is_Whole_Ring