Angenommen es gibt Zahlen n = 4k + 3 (k ∈ N0), bei denen alle Primfaktoren
von n von der Form 4q+1 mit q∈ℕ sind. Dann gibt es eine Zahl n
bei der die Anzahl dieser Primfaktoren minimal ist.
Argumentiert wird über die Anzahl a der Primfaktoren von n.
a=1 kann nicht sein, da n selbst nicht von dieser Form ist.
Also ist a≥2. Sei also 4q+1 ein solcher Primfaktor. Dann
ist n durch 4q+1 teilbar und es gibt eine Zahl m mit
n = (4q+1)*m . Und wegen n=4k+3 folgt
4k+3 = 4qm + m also ist auch m≡3 mod 4.
m hat also weniger als a Primfaktoren. Widerspruch zur
Minimalität der Anzahl a.