Existence of a Compressed Set with Smaller Neighbourhood