Sin embargo puede ocurrir que algun subanillo de {\cal_O}_K tenga factorizacion unica.