Absurdio ad Absurdum
valid