OXFORD 9000
No se encontró "principal ideal domain". Parece que esa forma no existe