Dimostrazione esistenza elemento separatore in R

A,B c R tali che a<=b allora esiste un C appartenente a R tale che a<=c<=b