fix theorem 5