Proof by Contradiction Protocol for Validation, Review, and Interpretation | Proof by Contradiction | Mathematics | NEROS