Also known as rule of zero product, null factor law, multiplication property of zero, nonexistence of nontrivial zero divisors
mathematical property shared by many number systems, that a product cannot be zero unless one of its factors is zero
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).