proximity theorem