Every bounded space implies the existence of a larger space that contains it and a smaller space that it contains