A proof by contradiction used to show that a statement cannot be true for all numbers. If a statement is true for one number, it will also be true for a smaller number, up to infinity, leading to a contradiction and disproving the original statement.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).