Prove closed balls are closed