Beweisstruktur des Satzes über die eindeutige Primfaktorzerlegung