\"Proofs, like pregnancy, are binary; a mathematical proposition is either proven (in which case it becomes a theorem) or not (in which