On the theory of proximity prospecting and design of an instrument to detect the depth of an ore deposit