proximity theorem - Spanish English Dictionary