Minimizer Existence Proof Protocol Design | Minimizer Existence Proof | Mathematics | NEROS