Condition for an ideal be the total ring