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.