rewrote theorem 2.7 (lower bound)