genom hvad han kallar en bevisning per absurdum.