Man nimmt die Negation der zu beweisenden Aussage an und leitet daraus einen Widerspruch her.
Dann kann die Negation nicht wahr sein; also gilt die ursprüngliche Aussage.