Page "Splitting of prime ideals" not found :(