reconsider e = x as Point of (Euclid n) by TOPREAL3:13;
( Sphere (e,r) is bounded & Sphere (e,r) = Sphere (x,r) ) by Th15, TOPREAL6:70;
hence Sphere (x,r) is Bounded by JORDAN2C:def 2; :: thesis: verum