Is the formal power series ring integrally closed?