A type of contrapositive proof or contradiction, where we look at the minimal counterexample # Applications Examples: [[König-Egevàry Theorem (Size of Maximum Matching of Bipartite Graph Equals Size of Minimum Vertex Cover)]]. [[Eigenvectors Corresponding to Distinct Eigenvalues of Real Square Matrix are Linearly Independent]]. Idea: [[Contradiction v Contrapositive]].