Teorema ideal principal de Krull