theorem’s Neighborhood