Example

Clearly, R is a domain. By applying the proposition twice, we see that R[X, Y] is a domain.