auch indirekter Beweis Beweisstil: wenn aus einem SATZ zwingend Falsches folgt, ist der Satz falsch - tertium non datur: wenn ein Satz A wahr ist, muß non-A falsch sein