Hey,
regarding that deg(g)=0 bit, I guess I just assumed that a constant would be a unit in I. This would only be the case if R was a field, right?
Now I'm really confused for this question too; don't know how to prove the division algorithm, let alone for an integral domain.
I think I...