Wie erkennt man das Gegenteil einer Ganzzahl ungleich Null?