II.1.3.5: The Lower-Bound Principle