An exhaustive proof is where we have exhausted all cases to disprove it, thus it must be true.