theorem that states that the image of real function having real closed interval as domain, has maximum and minimum