From a certain point of view, there is no need for the current section. If we are proving an existential statement we are disproving some universal statement. (Which has already been discussed.) Simil...From a certain point of view, there is no need for the current section. If we are proving an existential statement we are disproving some universal statement. (Which has already been discussed.) Similarly, if we are trying to disprove an existential statement, then we are actually proving a related universal statement. Nevertheless, sometimes the way a theorem is stated emphasizes the existence question over the corresponding universal.