1) Todo ideal se factoriza de forma unica como producto de primos.