Notar que el asumir que "K" sea algebraicamente cerrado es esencial aquí: el ideal propio ("X"² + 1) en R["X"] no tiene un cero común.