Existenz von Zahlen
Seien
eine natürliche Zahl
und
verschiedene
natürliche Zahlen. Es ist zu beweisen, dass entweder eine der Zahlen
durch n teilbar ist,
oder dass Zahlen
existieren, so dass
durch n teilbar ist.
Seien
und
natürliche Zahlen, für
die
und
gilt.
Es ist zu beweisen, dass eine natürliche Zahl n existiert,
so dass
und
gilt.