Primfaktoren, kleinste Lösungen und Abstieg

Primfaktorzerlegungen über kleinste Gegenbeispiele zeigen und hypothetische diophantische Lösungen durch wohlfundierten Abstieg ausschließen.