fix theorem 7