theorem 24