Kategorie:Idealtheorie in Zahlbereichen/Beweise