The tongue-in-cheek name given to the fact that if $n$ is a nonzero integer, then $|n| \geq 1$ This trick is used in many transcendental numbertheoryproofs. In fact, the hardest step of many problems is showing that a particular integer is not zero.
"fundamental theorem of transcendence" is owned by KimJ.
