Dedekind-Kummer theorem

Summary