Given a sequence of closed intervals arranged so that eachinterval is a subinterval of the one preceding it and so that thelengths of the intervals shrink to zero, then there is exactly onepoint that belongs to every interval of the sequence. (This isknown as the nested interval property)
