[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).