theorem 1.4