简述实数六大基本定理的内容,并用他们来证明闭区间上连续函数的性质,如有界性,一致连续性,介值定理(零点存在性定理)等。