reductio
ad
absurdum
proof