Kongruente Zahl/Ungerade/Tunnell/Anzahlbedingung/Leer und leer/Aufgabe

Es sei und es sei vorausgesetzt, dass die Menge leer ist. Zeige, dass dann auch die Menge leer ist.