the two gradients of biconditional theorems

Common notions are at ground state. Therefore, the ‘necessity’ branch of a discovered equivalence (biconditional) is always more difficult than the ‘sufficiency’ branch, because showing necessity means going from the ground state to the excited state. For example, Euclid gave the sufficient condition for an even number to be perfect, but it wasn’t until two … Continue reading the two gradients of biconditional theorems