Worked up to Dirichletscher Einheitensatz.