Mathematical Justification of Hard Negative Mining via Isometric Approximation Theorem