Teorema de l'ideal principal