Indirect Existence Proof Protocol Design | Indirect Existence Proof | Mathematics | NEROS