theorem 5