[see also: consequently, so, thus, therefore, follow
Then F is continuous, hence bounded on D.
We can suppose R is semilocal (and hence a PID).