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, TOPREAL6:69; :: thesis: verum