Changed adele to adeles in nomenclature
Completed approximation lemma, with one note left to do
Started to edit proof of integral closure being a PID