Theorem 1.58