Absurdum Reductioad

Absurdum, Reductio ad, an indirect method of proving a proposition by showing that its incorrectness would lead to an absurdity. Euclid frequently uses it in his geometrical demonstrations.