A deductive proof using contradiction or elimination to rule out all cases except the desired conclusion.