nuclear deterrence: the military doctrine that an enemy will be deterred from using nuclear weapons as long as he can be destroyed as a consequence
theorem: a proposition deducible from basic postulates